Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
131	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
132	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Software engineering Declarative programming Computer programming Automated theorem proving Logic programming Prolog Interpreter Eval Substitution Resolution
133	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
134	JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:11:15 Constraint programming Mathematical optimization Constraint Regularization Analysis Constraint satisfaction Mathematics Applied mathematics Constraint logic programming
135	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
136	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
137	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
138	1 Duplication-Correcting Codes for Data Storage in the DNA of Living Organisms Siddharth Jain, Farzad Farnoud (Hassanzadeh), Member, IEEE, Moshe Schwartz, Senior Member, IEEE, Jehoshua Bruck, Fellow, IEEE Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2016-06-01 05:46:52 Mathematics Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Polynomials Fundamental theorem of algebra Permutation polynomial
139	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
140	Controlling The Real World With Computers ::. Control And Embedded Systems .:: Table Of Contents Previous: Boolean Logic - AND, OR, XOR, NAND, NOR, NXOR Next: Programming Part 3 Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:30 Software engineering Computer programming Computing C Light-emitting diode Signage Data types Pulse-width modulation Sizeof Infinite loop Foreach loop Const